#include "linux/tty.h"
#include "linux/kernel.h"

void kernel_main(void)
{
    console_init();

    char* name = "zhuguoyin";
    printk("hello:%s", name);

}